منابع مشابه
Symbolic Analysis of Mechatronic Systems
The paper presents a theoretical concept of a program for symbolic and semisymbolic analyses of dynamic properties of mechatronic systems with a view to the non-controlled and the controlled mechatronic drives, blockoriented controllers, and controlling electronic circuits. Key-Words: Mechatronic systems, mechatronic drives, symbolic analysis, semisymbolic analysis.
متن کاملNeuro-Symbolic Hybrid Systems
Actually, the Hybrid Systems (HS) approach is very used to solve problems where different knowledge representations are involve in one system. This integration has the advantage to compensate the weakness of one or another system complementing their strengths. The Neuro-Symbolic Hybrid Systems (NSHS) arise of the HS as an approach that offer the possibility to implement robust systems where the...
متن کاملSymbolic Simulation of Hybrid Systems
Continuous action systems (CAS) is a formalism intended for modeling hybrid systems (systems that combine discrete control with continuous behavior), and proving properties about the model within refinement calculus. In this paper we use a symbolic manipulation program to build a tool for simulating CAS models by calculating symbolically the time evolution of the discrete and continuous CAS mod...
متن کاملTesting of Symbolic-Probabilistic Systems
We consider the testing of systems where probabilistic information is not given by means of fixed values but as sets of probabilities. We will use an extension of finite state machine where choices among transitions having the same input actions are probabilistically resolved. We will introduce our notion of test and we will define how tests are applied to the implementation under test (IUT). W...
متن کاملEvolution of Symbolic Grammar Systems
Evolution of symbolic language and grammar is studied in a network model. Language is expressed by words, i.e. strings of symbols, which are generated by agents with their own symbolic grammar system. By deriving and accepting words, the agents communicate with each other. An agent which can derive less frequent and less acceptable words and accept words in less computational time will have hig...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings
سال: 2020
ISSN: 2504-3900
DOI: 10.3390/proceedings2020047020